A formally verified decentralized key management architecture for wireless sensor networks

We present a decentralized key management architecture for wireless sensor networks, covering the aspects of key deployment, key refreshment and key establishment. Our architecture is based on a clear set of assumptions and guidelines. Balance between security and energy consumption is achieved by partitioning a system into two interoperable security realms: the supervised realm trades off simplicity and resources for higher security whereas in the unsupervised realm the vice versa is true. Key deployment uses minimal key storage while key refreshment is based on the well-studied scheme of Abdalla et al. The keying protocols involved use only symmetric cryptography and have all been verified with our constraint solving-based protocol verification tool CoProVe

Missed treatment opportunities and barriers to comprehensive treatment for sexual violence survivors in Kenya: a mixed methods study

Background In Kenya, most sexual violence survivors either do not access healthcare, access healthcare late or do not complete treatment. To design interventions that ensure optimal healthcare for survivors, it is important to understand the characteristics of those who do and do not access healthcare. In this paper, we aim to: compare the characteristics of survivors who present for healthcare to those of survivors reporting violence on national surveys; understand the healthcare services provided to survivors; and, identify barriers to treatment. Methods A mixed methods approach was used. Hospital records for survivors from two referral hospitals were compared with national-level data from the Kenya Demographic and Health Survey 2014, and the Violence Against Children Survey 2010. Descriptive summaries were calculated and differences in characteristics of the survivors assessed using chi-square tests. Qualitative data from six in-depth interviews with healthcare providers were analysed thematically. Results Among the 543 hospital respondents, 93.2% were female; 69.5% single; 71.9% knew the perpetrator; and 69.2% were children below 18 years. Compared to respondents disclosing sexual violence in nationally representative datasets, those who presented at hospital were less likely to be partnered, male, or assaulted by an intimate partner. Data suggest missed opportunities for treatment among those who did present to hospital: HIV PEP and other STI prophylaxis was not given to 30 and 16% of survivors respectively; 43% of eligible women did not receive emergency contraceptive; and, laboratory results were missing in more than 40% of the records. Those aged 18 years or below and those assaulted by known perpetrators were more likely to miss being put on HIV PEP. Qualitative data highlighted challenges in accessing and providing healthcare that included stigma, lack of staff training, missing equipment and poor coordination of services. Conclusions Nationally, survivors at higher risk of not accessing healthcare include older survivors; partnered or ever partnered survivors; survivors experiencing sexual violence from intimate partners; children experiencing violence in schools; and men. Interventions at the community level should target survivors who are unlikely to access healthcare and address barriers to early access to care. Staff training and specific clinical guidelines/protocols for treating children are urgently needed

Study of Radiologic Technologists’ Perceptions of Picture Archiving and Communication System (PACS) Competence and Educational Issues in Western Australia

Although the implementation of picture archiving and communication system (PACS) could increase productivity of radiology departments, this depends on factors such as the PACS competence of radiologic technologists (RTs). The purpose of this study was to investigate the RTs’ perceptions of PACS competence and educational issues in Western Australia (WA). A hardcopy questionnaire was distributed to WA RTs for obtaining their perceptions of PACS competence and educational issues. Descriptive (percentage of frequency, mean and standard deviation) and inferential statistics (t test and analysis of variance) were used to analyze the responses of the multiple choice and five-point scale questions from the returned questionnaires. The questionnaire response rate was 57.7 % (173 out of 300). The mean values of all PACS competence questions except questions 2e–g are in the range of 3.9–4.9, i.e., around competent to very competent. Participants indicated they received adequate PACS training (mean 3.8). Statistically significant variables influencing RTs’ perceptions of their PACS competence and educational issues including the age (p < 0.01), gender (p < 0.05), years of practice (p < 0.005–0.05), primary duty (p < 0.05), medical imaging qualification (p < 0.001), general computer skills (p < 0.001), and type of PACS education received (p < 0.001–0.05). The WA RTs indicated that they were competent in using the modality workstation, PACS and radiology information system, and received adequate training. However, future PACS education programs should be tailored to different RTs’ groups. For example, multiple training modules might be necessary to support the PACS competence development of older RTs and those with lower general computer literacy

Integrin β3 Crosstalk with VEGFR Accommodating Tyrosine Phosphorylation as a Regulatory Switch

Integrins mediate cell adhesion, migration, and survival by connecting intracellular machinery with the surrounding extracellular matrix. Previous studies demonstrated the importance of the interaction between β3 integrin and VEGF type 2 receptor (VEGFR2) in VEGF-induced angiogenesis. Here we present in vitro evidence of the direct association between the cytoplasmic tails (CTs) of β3 and VEGFR2. Specifically, the membrane-proximal motif around 801YLSI in VEGFR2 mediates its binding to non-phosphorylated β3CT, accommodating an α-helical turn in integrin bound conformation. We also show that Y747 phosphorylation of β3 enhances the above interaction. To demonstrate the importance of β3 phosphorylation in endothelial cell functions, we synthesized β3CT-mimicking Y747 phosphorylated and unphosphorylated membrane permeable peptides. We show that a peptide containing phospho-Y747 but not F747 significantly inhibits VEGF-induced signaling and angiogenesis. Moreover, phospho-Y747 peptide exhibits inhibitory effect only in WT but not in β3 integrin knock-out or β3 integrin knock-in cells expressing β3 with two tyrosines substituted for phenylalanines, demonstrating its specificity. Importantly, these peptides have no effect on fibroblast growth factor receptor signaling. Collectively these data provide novel mechanistic insights into phosphorylation dependent cross-talk between integrin and VEGFR2

Gene dispersion is the key determinant of the read count bias in differential expression analysis of RNA-seq data

Background: In differential expression analysis of RNA-sequencing (RNA-seq) read count data for two sample groups, it is known that highly expressed genes (or longer genes) are more likely to be differentially expressed which is called read count bias (or gene length bias). This bias had great effect on the downstream Gene Ontology over-representation analysis. However, such a bias has not been systematically analyzed for different replicate types of RNA-seq data. Results: We show that the dispersion coefficient of a gene in the negative binomial modeling of read counts is the critical determinant of the read count bias (and gene length bias) by mathematical inference and tests for a number of simulated and real RNA-seq datasets. We demonstrate that the read count bias is mostly confined to data with small gene dispersions (e.g., technical replicates and some of genetically identical replicates such as cell lines or inbred animals), and many biological replicate data from unrelated samples do not suffer from such a bias except for genes with some small counts. It is also shown that the sample-permuting GSEA method yields a considerable number of false positives caused by the read count bias, while the preranked method does not. Conclusion: We showed the small gene variance (similarly, dispersion) is the main cause of read count bias (and gene length bias) for the first time and analyzed the read count bias for different replicate types of RNA-seq data and its effect on gene-set enrichment analysis

Prophylactic cranial irradiation in locally advanced non-small cell lung cancer: outcome of recursive partitioning analysis group 1 patients

<p>Abstract</p> <p>Background</p> <p>Prophylactic cranial irradiation (PCI) has been demonstrated to reduce or delay the incidence of brain metastases (BM) in locally advanced non-small cell lung carcinoma (LA-NSCLC) patients with various prognostic groups. With this current cohort we planned to evaluate the potential usefulness of prophylactic cranial irradiation (PCI) specifically in recursive partitioning analysis (RPA) Group 1, which is the most favorable group of LA-NSCLC patients.</p> <p>Methods</p> <p>Between March 2007 and February 2008, 62 patients in RPA group 1 were treated with sequential chemoradiotherapy and PCI for stage IIIB NSCLC. The induction chemotherapy consisted of 3 courses of cisplatin (80 mg/m²) and docetaxel (80 mg/m²); each course was given every 21 days. Thoracic radiotherapy (TRT) was given at a dose of 60 Gy using 3-D conformal planning. All patients received a total dose of 30 Gy PCI (2 Gy/fr, 5 days a week), beginning on the first day of the TRT. Then, all patients received 3 further courses of the same chemotherapy protocol.</p> <p>Results</p> <p>Six (9.7%) patients developed brain metastases during their clinical course. Only one (2%) patient developed brain metastasis as the site of first treatment failure. Median brain metastasis-free survival, overall survival, and progression free survival were 16.6, 16.7, and 13.0 months, respectively. By univariate analysis, rates of BM were significantly higher in patients younger than 60 years of age (p = 0.03). Multivariate analysis showed no significant difference in BM-free survival according to gender, age, histology, and initial T- and N-stage.</p> <p>Conclusion</p> <p>The current finding of almost equal bone metastasis free survival and overall survival in patients with LA-NSCLC in RPA group 1 suggests a longer survival for patients who receive PCI, and thereby have a reduced risk of BM.</p

Two Distinct Modes of Hypoosmotic Medium-Induced Release of Excitatory Amino Acids and Taurine in the Rat Brain In Vivo

A variety of physiological and pathological factors induce cellular swelling in the brain. Changes in cell volume activate several types of ion channels, which mediate the release of inorganic and organic osmolytes and allow for compensatory cell volume decrease. Volume-regulated anion channels (VRAC) are thought to be responsible for the release of some of organic osmolytes, including the excitatory neurotransmitters glutamate and aspartate. In the present study, we compared the in vivo properties of the swelling-activated release of glutamate, aspartate, and another major brain osmolyte taurine. Cell swelling was induced by perfusion of hypoosmotic (low [NaCl]) medium via a microdialysis probe placed in the rat cortex. The hypoosmotic medium produced several-fold increases in the extracellular levels of glutamate, aspartate and taurine. However, the release of the excitatory amino acids differed from the release of taurine in several respects including: (i) kinetic properties, (ii) sensitivity to isoosmotic changes in [NaCl], and (iii) sensitivity to hydrogen peroxide, which is known to modulate VRAC. Consistent with the involvement of VRAC, hypoosmotic medium-induced release of the excitatory amino acids was inhibited by the anion channel blocker DNDS, but not by the glutamate transporter inhibitor TBOA or Cd2+, which inhibits exocytosis. In order to elucidate the mechanisms contributing to taurine release, we studied its release properties in cultured astrocytes and cortical synaptosomes. Similarities between the results obtained in vivo and in synaptosomes suggest that the swelling-activated release of taurine in vivo may be of neuronal origin. Taken together, our findings indicate that different transport mechanisms and/or distinct cellular sources mediate hypoosmotic medium-induced release of the excitatory amino acids and taurine in vivo

The impact of HIV-1 on the malaria parasite biomass in adults in sub-Saharan Africa contributes to the emergence of antimalarial drug resistance

Background. HIV-related immune-suppression increases the risk of malaria (infection, disease and treatment failure) and probably the circulating parasite biomass, favoring the emergence of drug resistance parasites. Methods. The additional malaria parasite biomass related to HIV-1 co-infection in sub-Saharan Africa was estimated by a mathematical model. Parasite biomass was computed as the incidence rate of clinical malaria episodes multiplied by the number of parasites circulating in the peripheral blood of patients at the time symptoms appear. A mathematical model estimated the influence of HIV-1 infection on parasite density in clinical malaria by country and by age group, malaria transmission intensity and urban/rural area. In a multivariate sensitivity analysis, 95% confidence intervals (CIs) were calculated using the Monte Carlo simulation. Results. The model shows that in 2005 HIV-1 increased the overall malaria parasite biomass by 18.0% (95%CI: 11.6-26.9). The largest relative increase (134.9-243.9%) was found in southern Africa where HIV-1 prevalence is the highest and malaria transmission unstable. The largest absolute increase was found in Zambia, Malawi, the Central African Republic and Mozambique, where both malaria and HIV are highly endemic. A univariate sensitivity analysis shows that estimates are sensitive to the magnitude of the impact of HIV-1 infection on the malaria incidence rates and associated parasite densities. Conclusion. The HIV-1 epidemic by increasing the malaria parasite biomass in sub-Saharan Africa may also increase the emergence of antimalarial drug resistance, potentially affecting the health of the whole population in countries endemic for both HIV-1 and malaria

Integrin αvβ5 is a primary receptor for adenovirus in CAR-negative cells

<p>Abstract</p> <p>Background</p> <p>Viruses bind to specific cellular receptors in order to infect their hosts. The specific receptors a virus uses are important factors in determining host range, cellular tropism, and pathogenesis. For adenovirus, the existing model of entry requires two receptor interactions. First, the viral fiber protein binds Coxsackie and Adenovirus Receptor (CAR), its primary cellular receptor, which docks the virus to the cell surface. Next, viral penton base engages cellular integrins, coreceptors thought to be required exclusively for internalization and not contributing to binding. However, a number of studies reporting data which conflicts with this simple model have been published. These observations have led us to question the proposed two-step model for adenovirus infection.</p> <p>Results</p> <p>In this study we report that cells which express little to no CAR can be efficiently transduced by adenovirus. Using competition experiments between whole virus and soluble viral fiber protein or integrin blocking peptides, we show virus binding is not dependent on fiber binding to cells but rather on penton base binding cellular integrins. Further, we find that binding to low CAR expressing cells is inhibited specifically by a blocking antibody to integrin αvβ5, demonstrating that in these cells integrin αvβ5 and not CAR is required for adenovirus attachment. The binding mediated by integrin αvβ5 is extremely high affinity, in the picomolar range.</p> <p>Conclusions</p> <p>Our data further challenges the model of adenovirus infection in which binding to primary receptor CAR is required in order for subsequent interactions between adenovirus and integrins to initiate viral entry. In low CAR cells, binding occurs through integrin αvβ5, a receptor previously thought to be used exclusively in internalization. We show for the first time that integrin αvβ5 can be used as an alternate binding receptor.</p